43 research outputs found
Approximating Directed Steiner Problems via Tree Embedding
In the k-edge connected directed Steiner tree (k-DST) problem, we are given a
directed graph G on n vertices with edge-costs, a root vertex r, a set of h
terminals T and an integer k. The goal is to find a min-cost subgraph H of G
that connects r to each terminal t by k edge-disjoint r,t-paths. This problem
includes as special cases the well-known directed Steiner tree (DST) problem
(the case k = 1) and the group Steiner tree (GST) problem. Despite having been
studied and mentioned many times in literature, e.g., by Feldman et al.
[SODA'09, JCSS'12], by Cheriyan et al. [SODA'12, TALG'14] and by Laekhanukit
[SODA'14], there was no known non-trivial approximation algorithm for k-DST for
k >= 2 even in the special case that an input graph is directed acyclic and has
a constant number of layers. If an input graph is not acyclic, the complexity
status of k-DST is not known even for a very strict special case that k= 2 and
|T| = 2.
In this paper, we make a progress toward developing a non-trivial
approximation algorithm for k-DST. We present an O(D k^{D-1} log
n)-approximation algorithm for k-DST on directed acyclic graphs (DAGs) with D
layers, which can be extended to a special case of k-DST on "general graphs"
when an instance has a D-shallow optimal solution, i.e., there exist k
edge-disjoint r,t-paths, each of length at most D, for every terminal t. For
the case k= 1 (DST), our algorithm yields an approximation ratio of O(D log h),
thus implying an O(log^3 h)-approximation algorithm for DST that runs in
quasi-polynomial-time (due to the height-reduction of Zelikovsky
[Algorithmica'97]). Consequently, as our algorithm works for general graphs, we
obtain an O(D k^{D-1} log n)-approximation algorithm for a D-shallow instance
of the k-edge-connected directed Steiner subgraph problem, where we wish to
connect every pair of terminals by k-edge-disjoint paths
Pre-Reduction Graph Products: Hardnesses of Properly Learning DFAs and Approximating EDP on DAGs
The study of graph products is a major research topic and typically concerns
the term , e.g., to show that . In this paper, we
study graph products in a non-standard form where is a
"reduction", a transformation of any graph into an instance of an intended
optimization problem. We resolve some open problems as applications.
(1) A tight -approximation hardness for the minimum
consistent deterministic finite automaton (DFA) problem, where is the
sample size. Due to Board and Pitt [Theoretical Computer Science 1992], this
implies the hardness of properly learning DFAs assuming (the
weakest possible assumption).
(2) A tight hardness for the edge-disjoint paths (EDP)
problem on directed acyclic graphs (DAGs), where denotes the number of
vertices.
(3) A tight hardness of packing vertex-disjoint -cycles for large .
(4) An alternative (and perhaps simpler) proof for the hardness of properly
learning DNF, CNF and intersection of halfspaces [Alekhnovich et al., FOCS 2004
and J. Comput.Syst.Sci. 2008]
Routing Regardless of Network Stability
We examine the effectiveness of packet routing in this model for the broad
class next-hop preferences with filtering. Here each node v has a filtering
list D(v) consisting of nodes it does not want its packets to route through.
Acceptable paths (those that avoid nodes in the filtering list) are ranked
according to the next-hop, that is, the neighbour of v that the path begins
with. On the negative side, we present a strong inapproximability result. For
filtering lists of cardinality at most one, given a network in which an
equilibrium is guaranteed to exist, it is NP-hard to approximate the maximum
number of packets that can be routed to within a factor of O(n^{1-\epsilon}),
for any constant \epsilon >0. On the positive side, we give algorithms to show
that in two fundamental cases every packet will eventually route with
probability one. The first case is when each node's filtering list contains
only itself, that is, D(v)={v}. Moreover, with positive probability every
packet will be routed before the control plane reaches an equilibrium. The
second case is when all the filtering lists are empty, that is,
. Thus, with probability one packets will route even
when the nodes don't care if their packets cycle! Furthermore, with probability
one every packet will route even when the control plane has em no equilibrium
at all.Comment: ESA 201
Faster Algorithms for Semi-Matching Problems
We consider the problem of finding \textit{semi-matching} in bipartite graphs
which is also extensively studied under various names in the scheduling
literature. We give faster algorithms for both weighted and unweighted case.
For the weighted case, we give an -time algorithm, where is
the number of vertices and is the number of edges, by exploiting the
geometric structure of the problem. This improves the classical
algorithms by Horn [Operations Research 1973] and Bruno, Coffman and Sethi
[Communications of the ACM 1974].
For the unweighted case, the bound could be improved even further. We give a
simple divide-and-conquer algorithm which runs in time,
improving two previous -time algorithms by Abraham [MSc thesis,
University of Glasgow 2003] and Harvey, Ladner, Lov\'asz and Tamir [WADS 2003
and Journal of Algorithms 2006]. We also extend this algorithm to solve the
\textit{Balance Edge Cover} problem in time, improving the
previous -time algorithm by Harada, Ono, Sadakane and Yamashita [ISAAC
2008].Comment: ICALP 201
Approximation Algorithms for (S,T)-Connectivity Problems
We study a directed network design problem called the --connectivity problem; we design and analyze approximation
algorithms and give hardness results. For each positive integer , the minimum cost -vertex connected spanning subgraph problem is a special case of the --connectivity problem. We defer
precise statements of the problem and of our results to the introduction.
For , we call the problem the -connectivity problem. We study three variants of the problem: the standard
-connectivity problem, the relaxed -connectivity problem, and the unrestricted -connectivity problem. We give hardness results for these three variants. We design a -approximation algorithm for the standard -connectivity problem. We design tight approximation algorithms for the relaxed -connectivity problem and one of its special cases.
For any , we give an -approximation algorithm,
where denotes the number of vertices. The approximation guarantee
almost matches the best approximation guarantee known for the minimum
cost -vertex connected spanning subgraph problem which is due to Nutov in 2009
Independent Set, Induced Matching, and Pricing: Connections and Tight (Subexponential Time) Approximation Hardnesses
We present a series of almost settled inapproximability results for three
fundamental problems. The first in our series is the subexponential-time
inapproximability of the maximum independent set problem, a question studied in
the area of parameterized complexity. The second is the hardness of
approximating the maximum induced matching problem on bounded-degree bipartite
graphs. The last in our series is the tight hardness of approximating the
k-hypergraph pricing problem, a fundamental problem arising from the area of
algorithmic game theory. In particular, assuming the Exponential Time
Hypothesis, our two main results are:
- For any r larger than some constant, any r-approximation algorithm for the
maximum independent set problem must run in at least
2^{n^{1-\epsilon}/r^{1+\epsilon}} time. This nearly matches the upper bound of
2^{n/r} (Cygan et al., 2008). It also improves some hardness results in the
domain of parameterized complexity (e.g., Escoffier et al., 2012 and Chitnis et
al., 2013)
- For any k larger than some constant, there is no polynomial time min
(k^{1-\epsilon}, n^{1/2-\epsilon})-approximation algorithm for the k-hypergraph
pricing problem, where n is the number of vertices in an input graph. This
almost matches the upper bound of min (O(k), \tilde O(\sqrt{n})) (by Balcan and
Blum, 2007 and an algorithm in this paper).
We note an interesting fact that, in contrast to n^{1/2-\epsilon} hardness
for polynomial-time algorithms, the k-hypergraph pricing problem admits
n^{\delta} approximation for any \delta >0 in quasi-polynomial time. This puts
this problem in a rare approximability class in which approximability
thresholds can be improved significantly by allowing algorithms to run in
quasi-polynomial time.Comment: The full version of FOCS 201
On the Complexity of Closest Pair via Polar-Pair of Point-Sets
Every graph G can be represented by a collection of equi-radii spheres in a d-dimensional metric Delta such that there is an edge uv in G if and only if the spheres corresponding to u and v intersect. The smallest integer d such that G can be represented by a collection of spheres (all of the same radius) in Delta is called the sphericity of G, and if the collection of spheres are non-overlapping, then the value d is called the contact-dimension of G. In this paper, we study the sphericity and contact dimension of the complete bipartite graph K_{n,n} in various L^p-metrics and consequently connect the complexity of the monochromatic closest pair and bichromatic closest pair problems
-Approximation Algorithm for Directed Steiner Tree: A Tight Quasi-Polynomial-Time Algorithm
In the Directed Steiner Tree (DST) problem we are given an -vertex
directed edge-weighted graph, a root , and a collection of terminal
nodes. Our goal is to find a minimum-cost arborescence that contains a directed
path from to every terminal. We present an -approximation algorithm for DST that runs in
quasi-polynomial-time. By adjusting the parameters in the hardness result of
Halperin and Krauthgamer, we show the matching lower bound of
for the class of quasi-polynomial-time
algorithms. This is the first improvement on the DST problem since the
classical quasi-polynomial-time approximation algorithm by
Charikar et al. (The paper erroneously claims an approximation due
to a mistake in prior work.)
Our approach is based on two main ingredients. First, we derive an
approximation preserving reduction to the Label-Consistent Subtree (LCST)
problem. The LCST instance has quasi-polynomial size and logarithmic height. We
remark that, in contrast, Zelikovsky's heigh-reduction theorem used in all
prior work on DST achieves a reduction to a tree instance of the related Group
Steiner Tree (GST) problem of similar height, however losing a logarithmic
factor in the approximation ratio. Our second ingredient is an LP-rounding
algorithm to approximately solve LCST instances, which is inspired by the
framework developed by Rothvo{\ss}. We consider a Sherali-Adams lifting of a
proper LP relaxation of LCST. Our rounding algorithm proceeds level by level
from the root to the leaves, rounding and conditioning each time on a proper
subset of label variables. A small enough (namely, polylogarithmic) number of
Sherali-Adams lifting levels is sufficient to condition up to the leaves